Software Engineering - PDFSEARCH.IO - Document Search Engine

Software Engineering
Results: 57508

#	Item
341	The National Association for the Sewn Products Industry Volume L, Number 2…………………………….......March/April 2015 IN THIS ISSUE Benefits Providers …………….....17 Dues Incentive ……………… Add to Reading List Source URL: www.seams.org Language: English - Date: 2015-05-26 11:55:51 VF Corporation Software Engineering for Adaptive and Self-Managing Systems Seam Fireside chats 20th century in the United States
342	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
343	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-23 09:19:29 Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther
344	Error Propagation Analysis for File Systems ∗ Cindy Rubio-González Haryadi S. Gunawi Ben Liblit Remzi H. Arpaci-Dusseau Andrea C. Arpaci-Dusseau Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2014-11-10 23:12:56 Statistics Statistical theory Software engineering Error Measurement Numerical analysis Compiler optimizations Scope Errors and residuals Errno.h Exception handling Propagation of uncertainty
345	Lecture 6 Interfaces Pet-able! Andries van D am © 2015 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-09-28 21:59:46 Software engineering Computing Object-oriented programming Computer programming Inheritance Class Interface Method Object Java Multiple inheritance Fragile base class
346	OpenMP Tutorial Arnamoy Bhattacharyya Scalable Parallel Computing Laboratory ETH Zurich Oct 2, 2014 Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-03 04:26:06 Computing Computer programming Parallel computing Software engineering Application programming interfaces Fortran OpenMP Automatic parallelization tool SPMD
347	#30DAYSOFTESTING ONE BIG CHALLENGE. A COMMUNITY OF AWESOME TESTERS. LET’S DO THIS. BUY ONE TESTING RELATED BOOK AND READ IT BY DAY 30 2 TAKE A PHOTO OF SOMETHING YOU ARE DOING AT WORK Add to Reading List Source URL: www.ministryoftesting.com Language: English - Date: 2016-06-29 12:08:41 Software testing Test automation Engineering Software Computing Game testing
348	Creating Communities in Digication Login to your Digication account ( http://www.laguardia.edu/eportfoliosso/ ). Click the “Click here” button to enter the login screen. Enter your login information. (See image 1.1) Add to Reading List Source URL: www.eportfolio.lagcc.cuny.edu Language: English - Date: 2012-06-27 12:59:38 Software Computer access control Prevention Access control Password Security Login Social engineering WhatPulse Features of the Opera web browser
349	Backend for enterprise analytics Meet your new in-house system. Traintracks is a backend for in-house systems, built on a new paradigm of data management that gives you the power of mutable schemas on immutable data. Add to Reading List Source URL: traintracks.io Language: English - Date: 2016-08-09 05:06:10 Computing Software engineering Data management Business intelligence Data warehouse Information technology management Apache Spark Immutable object Scala
350	Proc. European Conf. on Object-Oriented Programming, June, 2001, LNCS volConcurrent Cycle Collection in Reference Counted Systems David F. Bacon and V.T. Rajan IBM T.J. Watson Research Center Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2012-04-24 18:07:00 Memory management Computing Automatic memory management Software engineering Software Reference counting Garbage collection Garbage Algorithm Cycle Mutator Tracing garbage collection

UPDATE